package contracts;


	public class InvariantException extends ContractException {
		private static final long serialVersionUID = 2050146913131637445L;

		public InvariantException(String message) {
			super("Invariant failed: "+message);
		}
	}
